Statically safe program generation with SafeGen
نویسندگان
چکیده
منابع مشابه
Virtual Types are Statically Safe
Point = fx,y: Integer;CompareType <= Point;equal(p: CompareType): Bool freturn (this.x=p.x) and (this.y=p.y);ggPoint = AbstractPoint fCompareType = Point;gColourPoint = AbstractPoint fc: Color;CompareType = ColourPoint;equal(p: CompareType): Bool freturn super.equal(p) and (this.c = p.c);gg Figure 13: A slight change xes the problemOn ...
متن کاملA Statically Safe Alternative to Virtual Types
Parametric types and virtual types have recently been proposed as extensions to Java to support genericity. In this paper we investigate the strengths and weaknesses of each. We suggest a variant of virtual types which has similar expressiveness, but supports safe static type checking. This results in a language in which both parametric types and virtual types are well-integrated, and which is ...
متن کاملCreating high-performance statically type-safe network applications
A typical Internet server finds itself in the middle of a virtual battleground, under constant threat from worms, viruses and other malware seeking to subvert the original intentions of the programmer. In particular, critical Internet servers such as OpenSSH, BIND and Sendmail have had numerous security issues ranging from low-level buffer overflows to subtle protocol logic errors. These proble...
متن کاملStatically Safe Speculative Execution for Real-Time Systems
Deterministic worst-case execution for satisfying hard-real-time constraints, and speculative execution with rollback for improving average-case throughput, appear to lie on opposite ends of a spectrum of performance requirements and strategies. Nonetheless, we show that there are situations in which speculative execution can improve the performance of a hard real-time system, either by enhanci...
متن کاملProgram Generation with Class
We have implemented a program generation library for polymorphically typed functional languages with lazy evaluation. The library combinators perform program generation by partial evaluation, a technique which allows the generation of highly-customized and efficient specialized output programs from general, parameterized input programs. Previously implemented program generation libraries for po...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2011
ISSN: 0167-6423
DOI: 10.1016/j.scico.2008.09.007